101. Geometric analysis & computer graphics:proceedings of a workshop
پدیدآورنده : CONCUS,PAUL
کتابخانه: (طهران)
موضوع : GEOMETRY,DIFFERENTIAL-DATA PROCESSIONG- , COMPUTER GRAPHICS-CONGRESSES , CALCULUS OF VARIATIONS-DATA
رده :
QA
641
.
G4
1988
102. Geometric function theory in higher dimension /
پدیدآورنده : Filippo Bracci, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geometric function theory, Congresses.,Geometric function theory.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.
رده :
QA360
103. Geomtric analysis and computer graphics: proceedings of a wrkshop held may 23-25, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Geometry, Differential-data processing-congresses,، computer graphics-congresses,، calculus of variations-data processing-congresses
رده :
QA
641
.
G46
1991
104. Hamiltonian dynamical systems and applications
پدیدآورنده : / edited by Walter Craig
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Hamiltonian system--Congresses,Hamiltonian dynamical system
رده :
E-BOOK
105. Hamiltonian dynamical systems and applications :]proceedings of the NATO Advanced Study Institute on Hamiltonian Dynamical Systems and Applications, Montreal, Canada, 18-29 June 2007[
پدیدآورنده : edited by Walter Craig
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Hamiltonian systems
رده :
QA
614
.
83
.
N37
2007
106. Hamiltonian dynamical systems and applications :]proceedings of the NATO Advanced Study Institute on Hamiltonian Dynamical Systems and Applications, Montreal, Canada, 18-29 June 2007[. ]CD[
پدیدآورنده : edited by Walter Craig
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Hamiltonian systems
رده :
QA614
.
83
N37
2008
107. Hamiltonian dynamical systems and applications :]proceedings of the NATO Advanced Study Institute on Hamiltonian Dynamical Systems and Applications, Montreal, Canada, 18-29 June 2007[
پدیدآورنده : edited by Walter Craig
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Congresses ، Hamiltonian systems
رده :
QA
614
.
83
.
N37
108. Handbook of satisfiability /
پدیدآورنده : edited by Armin Biere ... [et al.]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra, Boolean, Congresses,Computer algorithms, Congresses,Decision making, Congresses,Propositional calculus, Congresses
109. Hypercomplex analysis /
پدیدآورنده : Irene Sabadini, Michael Shapiro, Frank Sommen, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Clifford algebras, Congresses.,Functions of complex variables, Congresses.,Mathematical analysis, Congresses.,Clifford algebras.,Clifford-Analysis, Kongress-- Ankara 2007,Functions of complex variables.,Hyperkomplexe Funktion, Kongress-- Ankara 2007,Mathematical analysis.,MATHEMATICS-- Complex Analysis.
رده :
QA331
.
7
.
H97
2009
110. Infinitesimal differences :
پدیدآورنده : edited by Ursula Goldenbaum and Douglas Jesseph.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Leibniz, Gottfried Wilhelm,1646-1716-- Criticism and interpretation,Leibniz, Gottfried Wilhelm,1646-1716.,Mathematics-- Philosophy, Congresses.,Physics-- Philosophy, Congresses.,Filosofische aspecten.,Infinitesimaalrekening.,Infinitesimalrechnung,Mathematics-- Philosophy.,PHILOSOPHY-- History & Surveys-- Modern.,Physics-- Philosophy.
رده :
B2598
.
I54
2008eb
111. Information security and cryptology -- ICISC 2017 :
پدیدآورنده : Howon Kim, Dong-Chan Kim (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Artificial intelligence.,Coding theory & cryptology.,Computer security.,Computer security.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Data encryption (Computer science)
رده :
QA76
.
9
.
A25
112. Integral Methods in Science and Engineering :
پدیدآورنده : Christian Constanda, Paul Harris, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering mathematics, Congresses.,Integral equations-- Numerical solutions, Congresses.,Mathematical analysis, Congresses.,Science-- Mathematics, Congresses.,Engineering mathematics.,Integral equations-- Numerical solutions.,Mathematical analysis.,Science-- Mathematics.
رده :
QA431
.
I584
2018
113. Intelligent information processing III
پدیدآورنده : Zhongzhi Shi, K. Shimohara, D. Feng (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Database management, Congresses.,Expert systems (Computer science), Congresses.
114. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
پدیدآورنده : IAC-CNR, Istituto per le applicazioni del calcolo Mauro Picone of the Consiglio nazionale delle ricerche ; edited by C. Bohm
موضوع : Congresses ، Combinatory logic,Congresses ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
115. Leading the Web in Concurrent Engineering :
پدیدآورنده : edited by Parisa Ghodous, Rose Dieng-Kuntz, and Geilson Loureiro.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Concurrent engineering, Congresses.,World Wide Web, Congresses.,Concurrent engineering.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.,World Wide Web.
رده :
TS176
.
I76
2006eb
116. Lectures on probability theory and statistics :
پدیدآورنده : M.T. Barlow, D. Nualart ; editor, P. Bernard.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fractals, Congresses.,Malliavin calculus, Congresses.,Probability Theory.,Statistics,Analyse stochastique.,Fractales.,Malliavin, Calcul de.,Mouvement brownien-- Mathématiques.,Diffusion processes.,Fractales-- Congrès.,Fractals.,Malliavin calculus.,Malliavin, Calcul de-- Congrès.,Mathematical statistics.,Mouvement brownien, Processus de-- Congrès.,Probabilités.,Probabilities.,Processus de diffusion-- Congrès.,Statistiek.,Statistik,Statistiques-- Congrès.,Waarschijnlijkheidstheorie.,Wahrscheinlichkeitstheorie
رده :
QA3
.
L28
no
.
1690
117. Logic Colloquium '82 :
پدیدآورنده : edited by G. Lolli, G. Longo, and A. Marcja
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Mathematics)-- Congresses,Lambda calculus-- Congresses,Model theory-- Congresses
رده :
QA9
.
7
.
L64
1982
118. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.,Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
L64
2019
119. Logic and its applications :
پدیدآورنده : Kamal Lodaya (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
رده :
QA9
.
A1
K363
2013
120. Logic-based program synthesis and transformation :
پدیدآورنده : Fred Mesnard, Peter J. Stuckey (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
رده :
QA76
.
63
